David A. Schmidt (eds.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (39)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 4.61 MB

0 / 0

english, 2002

2

Image-Guided IMRT

Image-Guided IMRT

Springer Berlin Heidelberg

Wilfried De Neve (auth.), Thomas Bortfeld, Rupert Schmidt-Ullrich, Wilfried De Neve, David E. Wazer (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 14.04 MB

0 / 0

english, 2006

3

Reduction in Science: Structure, Examples, Philosophical Problems

Reduction in Science: Structure, Examples, Philosophical Problems

Springer Netherlands

Wolfgang Balzer, David Pearce, Heinz-Jürgen Schmidt (auth.), Wolfgang Balzer, David A. Pearce, Heinz-Jürgen Schmidt (eds.)

Рік:

1984

Мова:

english

Файл:

PDF, 11.96 MB

0 / 0

english, 1984

4

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 5.01 MB

0 / 0

english, 2011

5

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 8.33 MB

0 / 0

english, 2004

6

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 16.55 MB

0 / 0

english, 2008

7

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 3.71 MB

0 / 0

english, 2004

8

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

Рік:

1992

Мова:

english

Файл:

DJVU, 4.91 MB

0 / 0

english, 1992

9

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kalman Babković, László Nagy, Damir Krklješ (auth.), Achim Gottscheber, David Obdržálek, Colin Schmidt (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 5.88 MB

0 / 0

english, 2010

10

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Schmidt (auth.), Alan Mycroft (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 4.09 MB

0 / 0

english, 1995

11

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 5.57 MB

0 / 0

english, 2012

12

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

R. C. Hardie (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

Рік:

1985

Мова:

english

Файл:

PDF, 6.88 MB

0 / 0

english, 1985

13

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 3.97 MB

0 / 0

english, 2004

14

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 74.10 MB

0 / 0

english, 2008

15

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 5.79 MB

0 / 0

english, 2012

16

Planetary Astrobiology

Planetary Astrobiology

University of Arizona Press

Victoria Meadows, Giada Arney, Britney Schmidt, David J. Des Marais (eds.)

Рік:

2020

Мова:

english

Файл:

PDF, 40.51 MB

0 / 0

english, 2020

17

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 3.25 MB

0 / 0

english, 2002

18

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Springer-Verlag New York

David Richard Schmidt, Heather Waldeck (auth.), David A. Puleo, Rena Bizios (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 2.10 MB

0 / 0

english, 2009

19

Query Processing in Database Systems

Query Processing in Database Systems

Springer-Verlag Berlin Heidelberg

Matthias Jarke, Jürgen Koch, Joachim W. Schmidt (auth.), Dr. Won Kim, Dr. David S. Reiner, Dr. Don S. Batory (eds.)

Рік:

1985

Мова:

english

Файл:

PDF, 22.25 MB

0 / 0

english, 1985

20

Socio-technical Design of Ubiquitous Computing Systems

Socio-technical Design of Ubiquitous Computing Systems

Springer International Publishing

Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker (eds.)

Рік:

2014

Мова:

english

Файл:

PDF, 8.67 MB

0 / 0

english, 2014

21

Designing Socially Embedded Technologies in the Real-World

Designing Socially Embedded Technologies in the Real-World

Springer-Verlag London

Volker Wulf, Kjeld Schmidt, David Randall (eds.)

Рік:

2015

Мова:

english

Файл:

PDF, 7.11 MB

0 / 0

english, 2015

22

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Springer-Verlag Berlin Heidelberg

David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt (auth.), Francesco Amoroso, Umberto Zannier (eds.)

Рік:

2003

Мова:

english

Файл:

PDF, 2.58 MB

0 / 0

english, 2003

23

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Petia Wohed, David Truffet, Gustaf Juell-Skielse (auth.), Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 10.78 MB

0 / 0

english, 2011

24

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Springer Vienna

David Hilbert, Erhard Schmidt (auth.), Albrecht Pietsch (eds.)

Рік:

1989

Мова:

german

Файл:

PDF, 16.20 MB

0 / 0

german, 1989

25

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 2.30 MB

0 / 0

english, 2002

26

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

T. B. van Wimersma Greidanus, A. B. Grossman (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

Рік:

1991

Мова:

english

Файл:

PDF, 9.78 MB

0 / 0

english, 1991

27

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 4.92 MB

0 / 0

english, 2002

28

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 5.58 MB

0 / 0

english, 1994

29

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.50 MB

0 / 0

english, 2009

30

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.45 MB

0 / 0

english, 2009

31

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 3.74 MB

0 / 0

english, 2002

32

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 5.74 MB

0 / 0

english, 1996

33

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

N. Mei (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

Рік:

1983

Мова:

english

Файл:

PDF, 7.83 MB

0 / 0

english, 1983

34

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 4.74 MB

0 / 0

english, 2009

35

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 7.68 MB

0 / 0

english, 2011

36

Progress in Sensory Physiology 9

Progress in Sensory Physiology 9

Springer-Verlag Berlin Heidelberg

R. D. Foreman (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis, Professor Dr. David Ottoson (eds.)

Рік:

1989

Мова:

english

Файл:

PDF, 6.33 MB

0 / 0

english, 1989

37

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

G. Westheimer (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Eduard Roy Perl, Professor Dr. Robert F. Schmidt, Professor Dr. David Ottoson (eds.)

Рік:

1981

Мова:

english

Файл:

PDF, 6.86 MB

0 / 0

english, 1981

38

Progress in Sensory Physiology 6

Progress in Sensory Physiology 6

Springer-Verlag Berlin Heidelberg

T. Sato (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

Рік:

1986

Мова:

english

Файл:

PDF, 17.52 MB

0 / 0

english, 1986

39

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

W. Skrandies (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

Рік:

1987

Мова:

english

Файл:

PDF, 4.82 MB

0 / 0

english, 1987